An E cient Pixel - Based Technique for Visual Veri cation of 3 - D ObjectHypotheses
نویسندگان
چکیده
{ We present a pixel-based technique for visual veriication of 3-D object hypotheses. The technique proceeds in three steps: Firstly, the visible-edge image of the hypothesized model object is constructed. Secondly, this image is superimposed on the scene edge image. Finally, corresponding pix-els in the two images are compared to gather votes for the validity of the hypothesis. Uncertainty in estimating the locations of both scene and model edge pixels is handled by dilating the scene edge image. An analytical method is presented for determining the extent of dilation, assuming some error bound on the object pose. The proposed technique has several important advantages over the common feature-based techniques. Firstly, it is much simpler to implement. Secondly, the time complexity of verifying a hypothesis is made independent of the scene complexity (number and types of scene features). Thirdly, it is insensitive to imperfections of the feature extraction process. Finally, the technique is easy to implement on the existing parallel vision/graphics hardware; thus it is suitable for real-time applications.
منابع مشابه
Towards a Verification Technique for Large Synchronous Circuits
We present a symbolic simulation based veri cation approach which can be applied to large synchronous circuits A new technique to encode the state and input constraints as parametric Boolean expressions over the state and input variables is used to make our symbolic simulation based veri cation approach e cient The constraints which are encoded through parametric Boolean expressions can involve...
متن کاملTransformations on Dependency Graphs :
Dependency graphs are used to model data and control ow in hardware and software design. In a transformational design approach, optimization and re nement transformations are used to transform dependency-graph-based speci cations at higher abstraction levels to those at lower abstraction levels. In this dissertation, we investigate the formal speci cation and mechanical veri cation of transform...
متن کاملExtending the reach and power of deductive program verification
Soware is vital for modern society. e ecient development of correct and reliable soware is of ever-growing importance. An important technique to achieve this goal is deductive program verication: the construction of logical proofs that programs are correct. In this thesis, we address three important challenges for deductive verication on its way to a wider deployment in the industry: 1. ve...
متن کاملNew Constructions of Mechanisms with Veri cation
A social choice function A is implementable with veri cation if there exists a payment scheme P such that (A,P ) is a truthful mechanism for veri able agents [Nisan and Ronen STOC 99]. In this paper we address the following questions. Given an objective function μ, does there exist a social choice function that is implementable with veri cation and that minimizes (or maximizes) μ? From a more a...
متن کاملFormal Veri cation of a PowerPC Microprocessor
This paper presents the use of formal methods in the design of a PowerPC microprocessor. The chosen methodology employs two independently developed design views, a register-transfer level speci cation for e cient system simulation and a transistorlevel implementation geared toward maximal processor performance. A BDD-based veri cation tool is used to functionally compare the two views which ess...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996